Formal best combination